
type
  typ* = distinct int
